targeted mutation 1.1, Tyler Jacks MGI:3793628 Mir17-92<tm1.1Tyj> miR17~92<fl> Mirc1<tm1.1Tyj> http://identifiers.org/mgd/MGI:3793628 Conditional ready|No functional change